$\vdash$  (tt = ff) $\Leftarrow\!\Rightarrow$ False